1. Informatik als Schlüssel zur Qualifikation :
المؤلف: herausgegeben von Klaus G. Troitzsch.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.
2. Kurs in Logischer Programmierung
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer science.,Logische Programmierung
3. Practical aspects of declarative languages :
المؤلف: PADL 2000, Boston, MA, USA, January 17- 18, 2000. Enrico Pontelli ; Vítor Santos Costa (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: ;Deklarative Programmiersprache,Boston Mass., 2000>,Deklarative Programmiersprache.
4. Programmieren in Prolog
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer science.,PROLOG
5. Prolog :
المؤلف: Ralf Cordes ... Hrsg. von Paul Schmitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Prolog (Programmiersprache),PROLOG (Programmiersprache),PROLOG Programmiersprache.
رده :
QA76
.
76
.
C65
R354
1992
6. Termersetzungssysteme :
المؤلف: von Klaus Drosten.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Software engineering.
رده :
QA76
.
76
.
R48
V665
1989
7. Theorie der logischen Programmierung Eine elementare Einführung
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer science.,Logische Programmierung
8. Z user workshop :
المؤلف: J.E. Nicholls (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: ;Z,Kongress,Z Programmiersprache>
